formal proof - Türkisch Englisch Wörterbuch